针对AES密码第1轮线性碰撞的代数攻击

将旁路攻击中线性碰撞思想与代数攻击方法相结合,使AES加密操作第1轮中的碰撞转换为线性方程组,构造了SAT求解器求解方程组,利用穷举攻击筛选真实的密钥。实验结果表明,该方法可降低密钥搜索空间,最终获得AES128位真实密钥,攻击效果优于碰撞攻击。     

动初级高速六相直线感应电机工作特性分析

为了准确刻画对象模型,采用一阶等效电路瞬态涡流分析法对动态边端效应影响下动初级高速六相直线感应电机的参数时变规律进行了定量计算,并通过感应涡流损耗推导得到考虑动态边端效应时电机的等效电路。基于此,通过电磁推力计算及效率评估对动态边端效应影响下电机的工作特性进行了详细分析。利用不同运行速度条件下的有限元仿真及动态实验验证了理论分析和推导的正确性。     

Survey and technological analysis of laser and its defense applications

The laser technology has made remarkable progress over the past couple of decades.It is being widely employed in diverse domains,such as holography,space sciences,spectroscopy,medical sciences,micro and power electronics,industrial engineering,and most distinctively,as directed energy military weapons.Owing to their active transmissions,laser systems are similar to microwave radars to some extent;however,unlike conventional radars,the laser operates at very high frequencies thus making it a potent enabler of narrow-beam and high energy aerial deployments,both in offensive and defensive roles.In modern avionics systems,laser target indicators and beam riders are the most common devices that are used to direct the Laser Guided Weapons(LGW)accurately to the ground targets.Additionally,compact size and outstanding angular resolution of laser-based systems motivate their use for drones and unmanned aerial applications.Moreover,the narrow-beam divergence of laser emissions offers a low probability of intercept,making it a suitable contender for secure transmissions and safety-critical operations.Furthermore,the developments in space sciences and laser technology have given syner-gistic potential outcomes to use laser systems in space operations.This paper comprehensively reviews laser applications and projects for strategic defense actions on the ground or in space.Additionally,a detailed analysis has been done on recent advancements of the laser technology for target indicators and range-finders.It also reviews the advancements in the field of laser communications for surveillance,its earlier state of the art,and ongoing scientific research and ad-vancements in the domain of high energy directed laser weapons that have revolutionized the evolving military battlefield.Besides offering a comprehensive taxonomy,the paper also critically analyzes some of the recent contributions in the associated domains.     

链约束下加工时间恶化的Flow Shop排序问题

讨论作业具有线性加工时间,作业间具有链约束的两台处理机流水作业排序问题,目标函数为极小化完工时间。在作业加工时间简单线性恶化下,提出作业的非负开始和停止延迟恶化率,构造了满足约束条件的复合作业。在此基础上,给出作业间具有平行链约束的两台处理机流水作业排序问题的最优多项式算法。     

联合作战系统效能评估

采用面向过程的系统分析方法建立了一个对联合作战系统效能比较精确的量化评估模型.模型以某个参考系统为标准,先作层次分析,然后通过模糊对比,把各层次中难以具体量化因素进行了量化,再通过判断矩阵得出各自权重,最后线性加权便可以得到总的系统相对于标准系统的优劣程度,是一种面向过程的系统分析.该方法适用面广,对复杂系统效能评估工作有一定指导意义,具有广阔的应用前景.     

Emergency transshipment in decentralized dealer networks: When to send and accept transshipment requests

While there has been significant previous literature on inventory transshipment, most research has focused on the dealers' demand filling decision (when to fill transshipment requests from other dealers), ignoring the requesting decision (when to send transshipment requests to other dealers). In this paper we develop optimal inventory transshipment policies that incorporate both types of decisions. We consider a decentralized system in which the dealers are independent of the manufacturer and of each other. We first study a network consisting of a very large number of dealers. We prove that the optimal inventory and transshipment decisions for an individual dealer are controlled by threshold rationing and requesting levels. Then, in order to study the impact of transshipment among independent dealers in a smaller dealer network, we consider a decentralized two‐dealer network and use a game theoretic approach to characterize the equilibrium inventory strategies of the individual dealers. An extensive numerical study highlights the impact of the requesting decision on the dealers' equilibrium behavior in a decentralized setting. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

Transient analysis of Markov models of fault‐tolerant systems with deferred repair using split regenerative randomization

The (standard) randomization method is an attractive alternative for the transient analysis of continuous time Markov models. The main advantages of the method are numerical stability, well‐controlled computation error, and ability to specify the computation error in advance. However, the fact that the method can be computationally very expensive limits its applicability. In this paper, we develop a new method called split regenerative randomization, which, having the same good properties as standard randomization, can be significantly more efficient. The method covers reliability‐like models with a particular but quite general structure and requires the selection of a subset of states and a regenerative state satisfying some conditions. For a class of continuous time Markov models, model class C₂, including typical failure/repair reliability‐like models with exponential failure and repair time distributions and deferred repair, natural selections are available for both the subset of states and the regenerative state and, for those natural selections, theoretical results are available assessing the efficiency of the method in terms of “visible” model characteristics. Those results can be used to anticipate when the method can be expected to be competitive. We illustrate the application of the method using a large class C₂ model and show that for models in that class the method can indeed be significantly more efficient than previously available randomization‐based methods. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

整环上不定方程组的通解公式及其应用

借助Z上矩阵A∈Mm×n(Z)的标准形式D=VAU=diag(d1,d2,…,dq,0,…,0),得到了整环上不定方程组AX=B的通解公式以及矩阵初等变换法.     

South Africa's arsenal of terrorism legislation

After only ten years in existence, the African Union (AU) has already made its mark on the landscape of peace and security in Africa. This paper seeks to explore the relationship between the AU's leading collaborative interstate security policy, the African Peace and Security Architecture (APSA), and sustainable peace in the Horn of Africa. It examines four countries – Djibouti, Eritrea, Ethiopia, and Kenya – and how engaging with the APSA through early warning systems can contribute to developing the elements necessary for sustainable peace, namely regional stability, conflict management, and good governance.     

DEFENSE SPENDING AND ECONOMIC GROWTH IN TURKEY: A LINEAR AND NON‐LINEAR GRANGER CAUSALITY APPROACH

This paper uses linear and non‐linear Granger causality methods to determine the causal relationship between defense spending and economic growth in Turkey for the period 1949–2004. The innovative feature of this paper is that it provides evidence regarding the nonlinear causal dependence between military spending and economic growth in Turkey. The empirical results contribute to the empirical literature by indicating support for both linear and non‐linear causality between military expenditures and economic development and they may prove useful in theoretical and empirical research by regulators and policy makers.